(0 20 15)(1 19 5)(2 18 16)(3 7 4)(6 10 8)(9 13 11)(12 17 14)
ALLOWS (11/8)-SEQUENCE
1: (15 17 20)
(0 20 14 12 17)(1 19 5)(2 18 16)(3 7 4)(6 10 8)(9 13 11)(15)
2: (0 12 17)
(0)(1 19 5)(2 18 16)(3 7 4)(6 10 8)(9 13 11)(12 20 14)(15)(17)
3: (2 18 16)
(0)(1 19 5)(2)(3 7 4)(6 10 8)(9 13 11)(12 20 14)(15)(16)(17)(18)
4: (1 19 5)
(0)(1)(2)(3 7 4)(5)(6 10 8)(9 13 11)(12 20 14)(15)(16)(17)(18)(19)